lean python with ai